Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
441	Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-05-17 17:02:48 Models of computation Theoretical computer science Model theory Combinatorics on words Logic Structure Finite-state machine Deterministic finite automaton Interpretation Automata theory Formal languages Mathematics
442	arXiv:1406.1310v1 [cs.LO] 5 Jun[removed]Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi∗ Benoˆıt Valiron† Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-05 21:10:00 Abstract algebra Models of computation Linear map Transformation Lambda calculus Denotational semantics Simply typed lambda calculus Vector space Linear combination Algebra Mathematics Linear algebra
443	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:55:43 Mathematics Theory of computation PA degree Computable function Reverse mathematics Model theory Forcing Combinatory logic Primitive recursive function Computability theory Mathematical logic Theoretical computer science
444	Eur. Phys. J. B 51, 407–[removed]DOI: [removed]epjb/e2006[removed]THE EUROPEAN PHYSICAL JOURNAL B Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2006-11-13 09:43:38 Theoretical computer science Cellular neural network Statistical mechanics Models of computation Classes of computers Cellular automaton Computer simulation Ising model Quantum computer Applied mathematics Physics Mathematics
445	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation
446	Cache- and IO-Efficient Functional Algorithms Guy E. Blelloch Robert Harper Computer Science Department Carnegie Mellon University POPL 2013 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-03-28 16:40:29 Mathematical logic Theoretical computer science Computer science Model of computation Parallel computing C Computing Software engineering Algorithm
447	Project Description 1 System design with behavior tables Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:19:23 Models of computation Logic in computer science Programming language semantics Mathematical logic Denotational semantics Formal grammar Actor model Sheaf Table Mathematics Theoretical computer science Applied mathematics
448	Learning for Multi-Agent Decision Problems Geoff Gordon [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-07-11 12:13:37 Economic model Macroeconomic model Multi-agent system Artificial intelligence Ethology Computer science Cognition Intelligent agent Models of computation Automata theory Finite-state machine
449	Automated Test Generation for Industrial Erlang Applications Johan Blom Department of Computer Systems Uppsala University, Sweden Add to Reading List Source URL: www.erlang.se Language: English - Date: 2003-07-30 08:34:24 Theoretical computer science Software testing Extended finite-state machine Theory of computation Erlang distribution Finite-state machine Erlang Actor model Test case Computing Models of computation Software engineering
450	Flow Analysis for Verifying Properties of Concurrent Software Systems MATTHEW B. DWYER University of Nebraska Lincoln LORI A. CLARKE and JAMIESON M. COBLEIGH University of Massachusetts Amherst Add to Reading List Source URL: laser.cs.umass.edu Language: English - Date: 2008-09-29 10:52:38 Mathematics Formal methods Logic in computer science Models of computation Model checking Finite-state machine Formal verification Data-flow analysis Sequence Theoretical computer science Automata theory Applied mathematics